Adding Integrity to the Ephemerizer’s Protocol
نویسندگان
چکیده
We present a symbolic analysis of the ephemerizer’s protocol by Radia Perlman, using the CL-Atse tool from the AVISPA’s tool-suite. This protocol allows transmitting a data that will “disappear” (i.e. cannot be retrieved) after a certain time. We show that this protocol is secured for this property plus the secrecy of the data, but is trivially non secured for it’s integrity. Therefore, we present two extensions of this protocol, one natural and probably already done in practice, the other one much less obvious. We shows that while the first extension guaranty the basic integrity property under certain conditions, the second one is much stronger and even allows faster computations.
منابع مشابه
A NEW PROTOCOL MODEL FOR VERIFICATION OF PAYMENT ORDER INFORMATION INTEGRITY IN ONLINE E-PAYMENT SYSTEM USING ELLIPTIC CURVE DIFFIE-HELLMAN KEY AGREEMENT PROTOCOL
Two parties that conduct a business transaction through the internet do not see each other personally nor do they exchange any document neither any money hand-to-hand currency. Electronic payment is a way by which the two parties transfer the money through the internet. Therefore integrity of payment and order information of online purchase is an important concern. With online purchase the cust...
متن کاملEffect of Adding Human Chorionic Gonadotropin to The Endometrial Preparation Protocol in Frozen Embryo Transfer Cycles
متن کامل
Isolation of high-quality RNA from a wide range of woody plants
Isolation of high-quality RNA is one of the most crucial methods in molecular biology. RNA extraction from woody plants has been problematic due to the presence of rigid and woody tissues, large amounts of polysaccharides, polyphenols and other secondary metabolites. Here we present a suitable protocol for RNA isolation from a wide range of woody plants that includes eight gymnosperms and four ...
متن کاملImprovement of Rooster Sperm Quality by Adding Different Levels of Naringenin after Freezing-Thawing Process
Artificial insemination is a reproductive technology that uses the best male breeders. Successful artificial insemination is affected by several factors, one of the most important and most one is the availability of fertile sperm after the freezing-thawing process. The purpose of this study was to investigate the effect of different concentrations of naringenin after the freezing process. Sp...
متن کاملP-116: The Catalase Effect on LDH Enzyme Leakage of Buffalo Epididymal Sperm During Culture in Human Tubal Fluid Mediaa
Background: Mammalian spermatozoa are highly susceptible to lipid peroxidation, which leads to structural damage to the sperm cell, the enzymatic leakage from spermatozoa accompanied by lowered motility and metabolism. Catalase, an enzyme that detoxify hydrogen peroxide and reduce the enzyme leakage from sperm cell Materials and Methods: For this study, buffalo bull testicles (20 pairs) were pi...
متن کامل